From ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 25 Jul 2008 10:06:53 +0100 Subject: [PATCH] stubdom: avoid re-making mk-headers and thus newlib etc. Using a stamp file for mk-headers permits to avoid to re-run newlib configuration etc. Signed-off-by: Samuel Thibault --- .hgignore | 1 + stubdom/Makefile | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.hgignore b/.hgignore index 90139f0238..ffcb825599 100644 --- a/.hgignore +++ b/.hgignore @@ -91,6 +91,7 @@ ^stubdom/libxc$ ^stubdom/lwip-.*$ ^stubdom/mini-os-.*$ +^stubdom/mk-headers$ ^stubdom/newlib-.*$ ^stubdom/pciutils-.*$ ^stubdom/zlib-.*$ diff --git a/stubdom/Makefile b/stubdom/Makefile index 4f4240cfd5..9206f28ade 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -154,7 +154,6 @@ lwip: lwip-$(LWIP_VERSION).tar.gz .PHONY: $(CROSS_ROOT) $(CROSS_ROOT): cross-newlib cross-zlib cross-libpci -.PHONY: mk-headers mk-headers: mkdir -p include/xen && \ ln -sf $(addprefix ../../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) include/xen && \ @@ -191,6 +190,7 @@ endif [ ! -h ioemu/config-host.h ] || rm -f ioemu/config-host.h [ ! -h ioemu/config-host.mak ] || rm -f ioemu/config-host.mak $(MAKE) -C $(MINI_OS) links + touch mk-headers TARGETS_MINIOS=$(addprefix mini-os-,$(TARGETS)) $(TARGETS_MINIOS): mini-os-%: @@ -328,6 +328,7 @@ crossclean: clean rm -fr $(CROSS_ROOT) rm -fr newlib-build rm -fr zlib-$(ZLIB_VERSION) pciutils-$(LIBPCI_VERSION) + rm -f mk-headers # clean patched sources .PHONY: patchclean -- 2.30.2